Optimal. Leaf size=322 \[ -\frac {B (b c-a d) n (a+b x)^3 \left (A+B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )}{6 b d}+\frac {(a+b x)^4 \left (A+B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )^2}{4 b}+\frac {B (b c-a d)^2 n (a+b x)^2 \left (3 A+B n+3 B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )}{12 b d^2}-\frac {B (b c-a d)^3 n (a+b x) \left (6 A+5 B n+6 B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )}{12 b d^3}-\frac {B (b c-a d)^4 n \log \left (\frac {b c-a d}{b (c+d x)}\right ) \left (6 A+11 B n+6 B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )}{12 b d^4}-\frac {B^2 (b c-a d)^4 n^2 \text {Li}_2\left (\frac {d (a+b x)}{b (c+d x)}\right )}{2 b d^4} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.29, antiderivative size = 322, normalized size of antiderivative = 1.00, number of steps
used = 8, number of rules used = 6, integrand size = 33, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.182, Rules used = {2573, 2549,
2381, 2384, 2354, 2438} \begin {gather*} -\frac {B^2 n^2 (b c-a d)^4 \text {PolyLog}\left (2,\frac {d (a+b x)}{b (c+d x)}\right )}{2 b d^4}-\frac {B n (b c-a d)^4 \log \left (\frac {b c-a d}{b (c+d x)}\right ) \left (6 B \log \left (e (a+b x)^n (c+d x)^{-n}\right )+6 A+11 B n\right )}{12 b d^4}-\frac {B n (a+b x) (b c-a d)^3 \left (6 B \log \left (e (a+b x)^n (c+d x)^{-n}\right )+6 A+5 B n\right )}{12 b d^3}+\frac {B n (a+b x)^2 (b c-a d)^2 \left (3 B \log \left (e (a+b x)^n (c+d x)^{-n}\right )+3 A+B n\right )}{12 b d^2}-\frac {B n (a+b x)^3 (b c-a d) \left (B \log \left (e (a+b x)^n (c+d x)^{-n}\right )+A\right )}{6 b d}+\frac {(a+b x)^4 \left (B \log \left (e (a+b x)^n (c+d x)^{-n}\right )+A\right )^2}{4 b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2354
Rule 2381
Rule 2384
Rule 2438
Rule 2549
Rule 2573
Rubi steps
\begin {align*} \int (a+b x)^3 \left (A+B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )^2 \, dx &=\int \left (A^2 (a+b x)^3+2 A B (a+b x)^3 \log \left (e (a+b x)^n (c+d x)^{-n}\right )+B^2 (a+b x)^3 \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )\right ) \, dx\\ &=\frac {A^2 (a+b x)^4}{4 b}+(2 A B) \int (a+b x)^3 \log \left (e (a+b x)^n (c+d x)^{-n}\right ) \, dx+B^2 \int (a+b x)^3 \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right ) \, dx\\ &=\frac {A^2 (a+b x)^4}{4 b}+\frac {A B (a+b x)^4 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b}+\frac {B^2 (a+b x)^4 \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{4 b}-\frac {(A B (b c-a d) n) \int \frac {(a+b x)^3}{c+d x} \, dx}{2 b}-\frac {\left (B^2 (b c-a d) n\right ) \int \frac {(a+b x)^3 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{c+d x} \, dx}{2 b}\\ &=\frac {A^2 (a+b x)^4}{4 b}+\frac {A B (a+b x)^4 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b}+\frac {B^2 (a+b x)^4 \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{4 b}-\frac {(A B (b c-a d) n) \int \left (\frac {b (b c-a d)^2}{d^3}-\frac {b (b c-a d) (a+b x)}{d^2}+\frac {b (a+b x)^2}{d}+\frac {(-b c+a d)^3}{d^3 (c+d x)}\right ) \, dx}{2 b}-\frac {\left (B^2 (b c-a d) n\right ) \int \left (\frac {b (b c-a d)^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{d^3}-\frac {b (b c-a d) (a+b x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{d^2}+\frac {b (a+b x)^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{d}+\frac {(-b c+a d)^3 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{d^3 (c+d x)}\right ) \, dx}{2 b}\\ &=-\frac {A B (b c-a d)^3 n x}{2 d^3}+\frac {A B (b c-a d)^2 n (a+b x)^2}{4 b d^2}-\frac {A B (b c-a d) n (a+b x)^3}{6 b d}+\frac {A^2 (a+b x)^4}{4 b}+\frac {A B (b c-a d)^4 n \log (c+d x)}{2 b d^4}+\frac {A B (a+b x)^4 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b}+\frac {B^2 (a+b x)^4 \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{4 b}-\frac {\left (B^2 (b c-a d) n\right ) \int (a+b x)^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right ) \, dx}{2 d}+\frac {\left (B^2 (b c-a d)^2 n\right ) \int (a+b x) \log \left (e (a+b x)^n (c+d x)^{-n}\right ) \, dx}{2 d^2}-\frac {\left (B^2 (b c-a d)^3 n\right ) \int \log \left (e (a+b x)^n (c+d x)^{-n}\right ) \, dx}{2 d^3}+\frac {\left (B^2 (b c-a d)^4 n\right ) \int \frac {\log \left (e (a+b x)^n (c+d x)^{-n}\right )}{c+d x} \, dx}{2 b d^3}\\ &=-\frac {A B (b c-a d)^3 n x}{2 d^3}+\frac {A B (b c-a d)^2 n (a+b x)^2}{4 b d^2}-\frac {A B (b c-a d) n (a+b x)^3}{6 b d}+\frac {A^2 (a+b x)^4}{4 b}+\frac {A B (b c-a d)^4 n \log (c+d x)}{2 b d^4}-\frac {B^2 (b c-a d)^3 n (a+b x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b d^3}+\frac {B^2 (b c-a d)^2 n (a+b x)^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{4 b d^2}-\frac {B^2 (b c-a d) n (a+b x)^3 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{6 b d}+\frac {A B (a+b x)^4 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b}-\frac {B^2 (b c-a d)^4 n \log \left (\frac {b c-a d}{b (c+d x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b d^4}+\frac {B^2 (a+b x)^4 \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{4 b}+\frac {\left (B^2 (b c-a d)^2 n^2\right ) \int \frac {(a+b x)^2}{c+d x} \, dx}{6 b d}-\frac {\left (B^2 (b c-a d)^3 n^2\right ) \int \frac {a+b x}{c+d x} \, dx}{4 b d^2}+\frac {\left (B^2 (b c-a d)^4 n^2\right ) \int \frac {1}{c+d x} \, dx}{2 b d^3}+\frac {\left (B^2 (b c-a d)^5 n^2\right ) \int \frac {\log \left (-\frac {-b c+a d}{b (c+d x)}\right )}{(a+b x) (c+d x)} \, dx}{2 b d^4}\\ &=-\frac {A B (b c-a d)^3 n x}{2 d^3}+\frac {A B (b c-a d)^2 n (a+b x)^2}{4 b d^2}-\frac {A B (b c-a d) n (a+b x)^3}{6 b d}+\frac {A^2 (a+b x)^4}{4 b}+\frac {A B (b c-a d)^4 n \log (c+d x)}{2 b d^4}+\frac {B^2 (b c-a d)^4 n^2 \log (c+d x)}{2 b d^4}-\frac {B^2 (b c-a d)^3 n (a+b x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b d^3}+\frac {B^2 (b c-a d)^2 n (a+b x)^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{4 b d^2}-\frac {B^2 (b c-a d) n (a+b x)^3 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{6 b d}+\frac {A B (a+b x)^4 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b}-\frac {B^2 (b c-a d)^4 n \log \left (\frac {b c-a d}{b (c+d x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b d^4}+\frac {B^2 (a+b x)^4 \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{4 b}+\frac {\left (B^2 (b c-a d)^2 n^2\right ) \int \left (-\frac {b (b c-a d)}{d^2}+\frac {b (a+b x)}{d}+\frac {(-b c+a d)^2}{d^2 (c+d x)}\right ) \, dx}{6 b d}-\frac {\left (B^2 (b c-a d)^3 n^2\right ) \int \left (\frac {b}{d}+\frac {-b c+a d}{d (c+d x)}\right ) \, dx}{4 b d^2}+\frac {\left (B^2 (b c-a d)^5 n^2\right ) \text {Subst}\left (\int \frac {\log \left (-\frac {-b c+a d}{b x}\right )}{x \left (\frac {-b c+a d}{d}+\frac {b x}{d}\right )} \, dx,x,c+d x\right )}{2 b d^5}\\ &=-\frac {A B (b c-a d)^3 n x}{2 d^3}-\frac {5 B^2 (b c-a d)^3 n^2 x}{12 d^3}+\frac {A B (b c-a d)^2 n (a+b x)^2}{4 b d^2}+\frac {B^2 (b c-a d)^2 n^2 (a+b x)^2}{12 b d^2}-\frac {A B (b c-a d) n (a+b x)^3}{6 b d}+\frac {A^2 (a+b x)^4}{4 b}+\frac {A B (b c-a d)^4 n \log (c+d x)}{2 b d^4}+\frac {11 B^2 (b c-a d)^4 n^2 \log (c+d x)}{12 b d^4}-\frac {B^2 (b c-a d)^3 n (a+b x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b d^3}+\frac {B^2 (b c-a d)^2 n (a+b x)^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{4 b d^2}-\frac {B^2 (b c-a d) n (a+b x)^3 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{6 b d}+\frac {A B (a+b x)^4 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b}-\frac {B^2 (b c-a d)^4 n \log \left (\frac {b c-a d}{b (c+d x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b d^4}+\frac {B^2 (a+b x)^4 \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{4 b}-\frac {\left (B^2 (b c-a d)^5 n^2\right ) \text {Subst}\left (\int \frac {\log \left (-\frac {(-b c+a d) x}{b}\right )}{\left (\frac {-b c+a d}{d}+\frac {b}{d x}\right ) x} \, dx,x,\frac {1}{c+d x}\right )}{2 b d^5}\\ &=-\frac {A B (b c-a d)^3 n x}{2 d^3}-\frac {5 B^2 (b c-a d)^3 n^2 x}{12 d^3}+\frac {A B (b c-a d)^2 n (a+b x)^2}{4 b d^2}+\frac {B^2 (b c-a d)^2 n^2 (a+b x)^2}{12 b d^2}-\frac {A B (b c-a d) n (a+b x)^3}{6 b d}+\frac {A^2 (a+b x)^4}{4 b}+\frac {A B (b c-a d)^4 n \log (c+d x)}{2 b d^4}+\frac {11 B^2 (b c-a d)^4 n^2 \log (c+d x)}{12 b d^4}-\frac {B^2 (b c-a d)^3 n (a+b x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b d^3}+\frac {B^2 (b c-a d)^2 n (a+b x)^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{4 b d^2}-\frac {B^2 (b c-a d) n (a+b x)^3 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{6 b d}+\frac {A B (a+b x)^4 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b}-\frac {B^2 (b c-a d)^4 n \log \left (\frac {b c-a d}{b (c+d x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b d^4}+\frac {B^2 (a+b x)^4 \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{4 b}-\frac {\left (B^2 (b c-a d)^5 n^2\right ) \text {Subst}\left (\int \frac {\log \left (-\frac {(-b c+a d) x}{b}\right )}{\frac {b}{d}+\frac {(-b c+a d) x}{d}} \, dx,x,\frac {1}{c+d x}\right )}{2 b d^5}\\ &=-\frac {A B (b c-a d)^3 n x}{2 d^3}-\frac {5 B^2 (b c-a d)^3 n^2 x}{12 d^3}+\frac {A B (b c-a d)^2 n (a+b x)^2}{4 b d^2}+\frac {B^2 (b c-a d)^2 n^2 (a+b x)^2}{12 b d^2}-\frac {A B (b c-a d) n (a+b x)^3}{6 b d}+\frac {A^2 (a+b x)^4}{4 b}+\frac {A B (b c-a d)^4 n \log (c+d x)}{2 b d^4}+\frac {11 B^2 (b c-a d)^4 n^2 \log (c+d x)}{12 b d^4}-\frac {B^2 (b c-a d)^3 n (a+b x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b d^3}+\frac {B^2 (b c-a d)^2 n (a+b x)^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{4 b d^2}-\frac {B^2 (b c-a d) n (a+b x)^3 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{6 b d}+\frac {A B (a+b x)^4 \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b}-\frac {B^2 (b c-a d)^4 n \log \left (\frac {b c-a d}{b (c+d x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{2 b d^4}+\frac {B^2 (a+b x)^4 \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{4 b}-\frac {B^2 (b c-a d)^4 n^2 \text {Li}_2\left (\frac {d (a+b x)}{b (c+d x)}\right )}{2 b d^4}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(1709\) vs. \(2(322)=644\).
time = 0.70, size = 1709, normalized size = 5.31 \begin {gather*} \frac {-24 a^4 A B d^4 n+6 a b^3 B^2 c^3 d n^2-24 a^2 b^2 B^2 c^2 d^2 n^2+36 a^3 b B^2 c d^3 n^2-24 a^4 B^2 d^4 n^2+12 a^3 A^2 b d^4 x-6 A b^4 B c^3 d n x+24 a A b^3 B c^2 d^2 n x-36 a^2 A b^2 B c d^3 n x+18 a^3 A b B d^4 n x-5 b^4 B^2 c^3 d n^2 x+17 a b^3 B^2 c^2 d^2 n^2 x-19 a^2 b^2 B^2 c d^3 n^2 x+7 a^3 b B^2 d^4 n^2 x+18 a^2 A^2 b^2 d^4 x^2+3 A b^4 B c^2 d^2 n x^2-12 a A b^3 B c d^3 n x^2+9 a^2 A b^2 B d^4 n x^2+b^4 B^2 c^2 d^2 n^2 x^2-2 a b^3 B^2 c d^3 n^2 x^2+a^2 b^2 B^2 d^4 n^2 x^2+12 a A^2 b^3 d^4 x^3-2 A b^4 B c d^3 n x^3+2 a A b^3 B d^4 n x^3+3 A^2 b^4 d^4 x^4-3 a^4 B^2 d^4 n^2 \log ^2(a+b x)+6 A b^4 B c^4 n \log (c+d x)-24 a A b^3 B c^3 d n \log (c+d x)+36 a^2 A b^2 B c^2 d^2 n \log (c+d x)-24 a^3 A b B c d^3 n \log (c+d x)+11 b^4 B^2 c^4 n^2 \log (c+d x)-38 a b^3 B^2 c^3 d n^2 \log (c+d x)+45 a^2 b^2 B^2 c^2 d^2 n^2 \log (c+d x)-18 a^3 b B^2 c d^3 n^2 \log (c+d x)-24 a^4 B^2 d^4 n^2 \log (c+d x)+3 b^4 B^2 c^4 n^2 \log ^2(c+d x)-12 a b^3 B^2 c^3 d n^2 \log ^2(c+d x)+18 a^2 b^2 B^2 c^2 d^2 n^2 \log ^2(c+d x)-12 a^3 b B^2 c d^3 n^2 \log ^2(c+d x)-24 a^4 B^2 d^4 n \log \left (e (a+b x)^n (c+d x)^{-n}\right )+24 a^3 A b B d^4 x \log \left (e (a+b x)^n (c+d x)^{-n}\right )-6 b^4 B^2 c^3 d n x \log \left (e (a+b x)^n (c+d x)^{-n}\right )+24 a b^3 B^2 c^2 d^2 n x \log \left (e (a+b x)^n (c+d x)^{-n}\right )-36 a^2 b^2 B^2 c d^3 n x \log \left (e (a+b x)^n (c+d x)^{-n}\right )+18 a^3 b B^2 d^4 n x \log \left (e (a+b x)^n (c+d x)^{-n}\right )+36 a^2 A b^2 B d^4 x^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right )+3 b^4 B^2 c^2 d^2 n x^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right )-12 a b^3 B^2 c d^3 n x^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right )+9 a^2 b^2 B^2 d^4 n x^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right )+24 a A b^3 B d^4 x^3 \log \left (e (a+b x)^n (c+d x)^{-n}\right )-2 b^4 B^2 c d^3 n x^3 \log \left (e (a+b x)^n (c+d x)^{-n}\right )+2 a b^3 B^2 d^4 n x^3 \log \left (e (a+b x)^n (c+d x)^{-n}\right )+6 A b^4 B d^4 x^4 \log \left (e (a+b x)^n (c+d x)^{-n}\right )+6 b^4 B^2 c^4 n \log (c+d x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )-24 a b^3 B^2 c^3 d n \log (c+d x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )+36 a^2 b^2 B^2 c^2 d^2 n \log (c+d x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )-24 a^3 b B^2 c d^3 n \log (c+d x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )+12 a^3 b B^2 d^4 x \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )+18 a^2 b^2 B^2 d^4 x^2 \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )+12 a b^3 B^2 d^4 x^3 \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )+3 b^4 B^2 d^4 x^4 \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )+B n \log (a+b x) \left (-6 b B c \left (b^3 c^3-4 a b^2 c^2 d+6 a^2 b c d^2-4 a^3 d^3\right ) n \log (c+d x)+6 B (b c-a d)^4 n \log \left (\frac {b (c+d x)}{b c-a d}\right )+a d \left (-6 b^3 B c^3 n+21 a b^2 B c^2 d n-26 a^2 b B c d^2 n+a^3 d^3 (6 A+35 B n)+6 a^3 B d^3 \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )\right )+6 B^2 (b c-a d)^4 n^2 \text {Li}_2\left (\frac {d (a+b x)}{-b c+a d}\right )}{12 b d^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
4.
time = 2.60, size = 26938, normalized size = 83.66
method | result | size |
risch | \(\text {Expression too large to display}\) | \(26938\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 1809 vs.
\(2 (314) = 628\).
time = 0.82, size = 1809, normalized size = 5.62 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: HeuristicGCDFailed} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int {\left (A+B\,\ln \left (\frac {e\,{\left (a+b\,x\right )}^n}{{\left (c+d\,x\right )}^n}\right )\right )}^2\,{\left (a+b\,x\right )}^3 \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________